University of Nottingham - PDFSEARCH.IO - Document Search Engine

University of Nottingham
Results: 779

#	Item
491	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:16:57 Maude system Software engineering Computing
492	A DESIGN FOR RESEARCHING VIRTUAL WORLDS OPPORTUNITIES AND LIMITATIONS Chesney, Thomas, Nottingham University Business School, Nottingham, UK, NG1 8BB, [removed] Coyne, Iain, Institute of Work, Healt Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2007-06-01 09:25:23 Virtual reality Sociology Business intelligence Market research Interpretative phenomenological analysis Focus group Virtual world Social psychology Deindividuation Qualitative research Second Life Science
493	Reasoning About Agent Deliberation N. Alechina1 , M. Dastani2 , B.S. Logan1 , J.-J. Ch. Meyer2 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-03-30 11:21:27 3APL Multi-agent systems 2APL Determinacy
494	Codata Thorsten Altenkirch University of Nottingham Codata – p.1/7 Add to Reading List Source URL: types2004.lri.fr Language: Italian - Date: 2008-02-01 03:03:09
495	Reasoning about Normative Update Natasha Alechina University of Nottingham Nottingham, UK [removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-04-23 07:25:54 Linear temporal logic Mathematical logic Logic Norm Modal logic
496	Reasoning about other agents’ beliefs under bounded resources Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib? School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-19 13:18:33 Epistemic modal logic Logic Constructible universe Mathematical logic Modal logic Artificial intelligence
497	Education and Training Policy Improving School Leadership Volume 2: Case Studies on System Leadership Summary in English The role of school leaders has changed radically as countries transform their education Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-04 12:11:07 Department for Education Education in England National College for School Leadership University of Nottingham Leadership Organisation for Economic Co-operation and Development Skill Leadership studies Programme for International Student Assessment Education Knowledge Management
498	The agent programming language Meta-APL Thu Trang Doan, Natasha Alechina, and Brian Logan University of Nottingham, Nottingham NG8 1BB, UK {ttd,nza,bsl}@cs.nott.ac.uk Abstract. We describe a novel agent programming lang Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:35:21 Mathematics Homotopy theory Symbol Admissible rule Valuation
499	Fair allocation of group tasks according to social norms Natasha Alechina1 , Wiebe van der Hoek2 , and Brian Logan1 1 University of Nottingham, UK, University of Liverpool, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:26:32 Sociology Norm Philosophy Social philosophy
500	Resource-Bounded Belief Revision and Contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science, University of Nottingham, Nottingham, UK {nza, mtw, bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logic Artificial intelligence Theory of justification Contraction Science Epistemology Logic programming Knowledge representation Belief revision

UPDATE